COMPUTING SCIENCE Probabilistic Aspects of Flash Filestores
نویسندگان
چکیده
Flash filestores have a variety of unique features that lead to interesting design constraints. One challenge is that of ensuring that each block of the drive is used and erased evenly, known as “wear-levelling”. This paper presents a novel approach to the analysis of wear-levelling algorithms using probabilistic specification and analysis techniques. A simplified version of the wear-levelling algorithm used in the JFFS flash filestore [1] is used as an illustration. The expected lifetime of a flash filestore implementing such an algorithm is derived using probabilistic proof techniques.
منابع مشابه
Parallel computing using MPI and OpenMP on self-configured platform, UMZHPC.
Parallel computing is a topic of interest for a broad scientific community since it facilitates many time-consuming algorithms in different application domains.In this paper, we introduce a novel platform for parallel computing by using MPI and OpenMP programming languages based on set of networked PCs. UMZHPC is a free Linux-based parallel computing infrastructure that has been developed to cr...
متن کاملApplying Point Estimation and Monte Carlo Simulation Methods in Solving Probabilistic Optimal Power Flow Considering Renewable Energy Uncertainties
The increasing penetration of renewable energy results in changing the traditional power system planning and operation tools. As the generated power by the renewable energy resources are probabilistically changed, the certain power system analysis tolls cannot be applied in this case. Probabilistic optimal power flow is one of the most useful tools regarding the power system analysis in presen...
متن کاملDisTriB: Distributed Trust Management Model Based on Gossip Learning and Bayesian Networks in Collaborative Computing Systems
The interactions among peers in Peer-to-Peer systems as a distributed collaborative system are based on asynchronous and unreliable communications. Trust is an essential and facilitating component in these interactions specially in such uncertain environments. Various attacks are possible due to large-scale nature and openness of these systems that affects the trust. Peers has not enough inform...
متن کاملStudy on appropriate and modified conditions for flash sintering process by simulation modeling
Flash sintering is one of the newest techniques for sintering ceramics to near full density. It occurs in an appropriate combination of temperature and electric field. Temperature measurement is one of the most serious challenges in this process. In the present study, we tried to model a flash sintering process of 8YSZ and 3YSZ with finite element method to make an assessment for temperature di...
متن کاملA Probabilistic Data Replacement Strategy for Flash-Based Hybrid Storage System
Currently, the popularization of flash memory is still limited by its high price and low capacity. Thus, the magnetic disk and flash memory will coexist over a long period of time. How to design an effective flash-hard disk hybrid storage system emerges as a critical issue. Most of the existing works are designed based on traditional cache management approaches by taking the characteristics of ...
متن کامل